Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
201	Axiomatic Language Walter W. Wilson Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals – Axiomatic language has the following goals: (1) pure specification – Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2015-04-04 17:54:15 Formal systems Metalogic Formal methods Function Axiom Lisp Mathematical proof Axiomatic system Mathematics Logic Mathematical logic
202	A Dynamical Systems Model for Language Change Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:59 Grammar Compiler construction Applied linguistics Parsing Language acquisition Formal grammar L-system Syntax Poverty of the stimulus Linguistics Formal languages Language
203	Multimodal Event Parsing for Intelligent User Interfaces Will Fitzgerald Kalamazoo College Kalamazoo, MI USA + Add to Reading List Source URL: www.entish.org Language: English - Date: 1969-12-31 19:00:00 Software Automata theory Finite-state machine Speech recognition Formal grammar Dialog system Pattern recognition Tron Parsing Humanâ€“computer interaction Formal languages Computing
204	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD Student under supervision of Didier R´emy Gallium – INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-29 11:09:42 Programming language theory Data types Formal methods Theoretical computer science Higher-order functions Type system Dependent type Lambda calculus Gallium Software engineering Computing Type theory
205	Guiding the Evolution of a Multilingual Ontology in a Concrete Setting Mauro Dragoni1 , Chiara Di Francescomarino1 , Chiara Ghidini1 , Julia Clemente2 , and Salvador S´anchez Alonso2 1 Add to Reading List Source URL: eswc-conferences.org Language: English Knowledge representation Semantic Web Information science Technical communication Simple Knowledge Organization System Upper ontology Formal ontology Ontology Information Science
206	Notice: This opinion is subject to formal revision before publication in the Atlantic and Maryland Reporters. Users are requested to notify the Clerk of the Court of any formal errors so that corrections may be made befo Add to Reading List Source URL: www.dccourts.gov Language: English - Date: 2015-04-01 15:36:28 Abuse of the legal system Disbarment Practice of law
207	EECS 598-‐002 Special Topics, Fall 2015 Hybrid Systems: Speciﬁca2on, Veriﬁca2on and Control Add to Reading List Source URL: www.eecs.umich.edu Language: English - Date: 2015-04-02 11:13:20 Systems Formal sciences Dynamical system Knowledge Control theory Structure Cybernetics Systems theory Science
208	In Proceedings of the ACL 2000 Workshop on Natural Language Processing and Information Retrieval (NLP&IR), October 2000, Hong Kong, China REXTOR: A System for Generating Relations from Natural Language Add to Reading List Source URL: start.csail.mit.edu Language: English - Date: 2013-09-27 15:44:05 Linguistics Grammar Information retrieval Computational linguistics Formal languages Information extraction Semantics Parsing Phrase structure grammar Science Information science Natural language processing
209	UNIVERSITY OF SHEFFIELD: DESCRIPTION OF THE LaSIE-II SYSTEM AS USED FOR MUC-7 K. Humphreys, R. Gaizauskas, S. Azzam, C. Huyck, B. Mitchell, H. Cunningham, Y. Wilks 1 Department of Comp uter Science University of Sheeld Add to Reading List Source URL: www.itl.nist.gov Language: English - Date: 2001-01-11 13:45:11 Linguistics Software engineering Grammar Parsing Natural language processing Information extraction Semantics Chart parser Formal grammar Formal languages Programming language implementation Compiler construction
210	Project List Main Menu Add to Reading List Source URL: www.ee.cityu.edu.hk Language: English - Date: 2014-11-19 01:58:39 Cybernetics Ethology Systems Formal sciences Chaos theory Complex systems theory Control theory Dynamical system Internet Science Systems theory Knowledge

UPDATE